1. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
![](/design/images/bookmore.png)
2. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
![](/design/images/bookmore.png)
3. Advanced functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ;
![](/design/images/bookmore.png)
4. Advanced functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ; Funktionale Programmierung. ; swd. ;
![](/design/images/bookmore.png)
5. Advanced functional programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses ;
![](/design/images/bookmore.png)
6. Advanced functional programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses ;
![](/design/images/bookmore.png)
7. Advanced functional programming: Third International School, AFP '98, Braga, Portugal, September 12-19, 1998: revised lectures
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A39
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. An Architecture for combinator Graph Reduction
پدیدآورنده : Philip John Koopman
موضوع : Computer architecture,Functional programming (Computer science),Graph grammers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. An introduction to functional programming
پدیدآورنده : R. J. Bird
موضوع : Functional programming (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. An introduction to functional programming
پدیدآورنده : / Richard Bird, Philip Wadler
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science)
رده :
QA76
.
6
.
B568
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Applications of functional programming
پدیدآورنده : edited by C. Runciman and D. Wakeling
کتابخانه: (طهران)
موضوع : Functional programming )Computer science( , Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Applications of functional programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Applications of functional programming
پدیدآورنده : edited by Colin Runciman, David Wakeling
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Functional programming )Computer science(,، Haskell )Computer program language(
رده :
QA
76
.
62
.
A67
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Approaches and applications of inductive programming
پدیدآورنده : Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Functional programming (Computer science), Congresses
رده :
QA
،
76
.
62
،.
A69
،
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Approaches and applications of inductive programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
A25
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Automatic programming, numerical methods and functional analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Addresses, essays, lectures,، Functional analysis-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
96
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Beginning Haskell : a project-based approach
پدیدآورنده : Serrano Mena, Alejandro
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Haskell )Computer program language(,، Functional programming )Computer science(,، Computer programming,، COMPUTERS / Programming Languages / General,، COMPUTERS / Programming / General
رده :
QA
76
.
73
.
H37
2014
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Central European Functional Programming School
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ;
![](/design/images/bookmore.png)
19. Central European Functional Programming School :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ;
![](/design/images/bookmore.png)
20. Central European Functional Programming School
پدیدآورنده : / Zoltaan Horvaath, Rinus Plasmeijer, Viktaoria Zsaok (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
C44
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)